$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. ($a$ rem $n$) = ($a$ rem {-}$n$)